DEFINITION MODULE MathLib0;
(*      File name: MathLib0.def                                 *)
(*      Creation : Jan 13,1986                                  *)
(*      Function : Provide Math function                        *)
(*      By       : K.Y. Tan                                     *)
(*                                                              *)
(*
*    Copyright (c) 1985,1986,1987,1988,1989 by
*    ana-systems, Foster City, California.
*    All Rights Reserved.
*
*    This software is furnished under a license and may be used and copied
*    only  in accordance with  the  terms  of  such  license and  with the
*    inclusion of the above copyright notice.  This software or  any other
*    copies thereof may not be provided or otherwise made available to any
*    other  person.   No title to and ownership of the  software is  herby
*    transferred.
*
*    The information in this software is  subject to change without notice
*    and  should  not be construed as a commitment by ana-systems.   No
*    warranty is implied or expressed.
*
*   SCCID  = "1.2    10/8/86"; 
*)
(*      History of modifcation                                  *)
(*      Date            Who             Why                     *)
(*                                                              *)
EXPORT QUALIFIED sqrt, exp, ln, sin, cos,
                 arctan, real, entier;
PROCEDURE sqrt   (x: REAL): REAL;
PROCEDURE exp    (x: REAL): REAL;
PROCEDURE ln     (x: REAL): REAL;
PROCEDURE sin    (x: REAL): REAL;
PROCEDURE cos    (x: REAL): REAL;
PROCEDURE arctan (x: REAL): REAL;
PROCEDURE real   (x: INTEGER): REAL;
PROCEDURE entier (x: REAL): INTEGER;
END MathLib0.
